Natural Number Game
github
lotz (@lotz84_)
Lean4 で自然数に関する諸定理を証明していくゲーム Natural Number Game を完走した！
なぜ1つ青になっているかはやってみるとわかる
https://adam.math.hhu.de/#/g/leanprover-community/nng4
https://gyazo.com/5731a63b2488d3a8f03cd84d7bc118c2